The Iteration Digraphs of Lambert Map Over the Local Ring $mathbb{Z}/p^kmathbb{Z}$ : Structures and Enumerations

Let $p$ be prime and $alpha:x mapsto xg^x$, the Discrete Lambert Map. For $kgeq 1,$ let $ V = {0, 1, 2, . . . , p^k-1}$. The iteration digraph is a directed graph with $V$ as the vertex set and there is a unique directed edge from $u$ to $alpha(u)$ for each $uin V.$ We denote this digraph by $G(g, p^{k}),$ where $gin (mathbb{Z}/p^kmathbb{Z})^*.$  In this piece of work, we investigate the structural properties and find new results modulo higher powers of primes.  We show that if $g$ is of order $p^{d} ,1leq d leq k-1$ then $G(g, p^k)$ has $ p^{k-lceil frac{d}{2}rceil} $ loops. If $g = tp+1,~1leq t leq p^{k-1}-1$ then the digraph contains $frac{p^k+1}{2}$ cycles. Further, if g has order $p^{k -1}$ then $G(g, p^{k})$ has $p-1$ cycles of length $p^{k-1}$ and the digraph is cyclic. We also propose explicit formulas for the enumeration of components.